Identification and Test Generation for Primitive Faults
نویسندگان
چکیده
We propose a new method to identify and test primitive faults in combinational circuits described as multi-level or two-level netlists. A primitive fault is a multiple path delay fault for which none of the single paths contained in the fault is robustly or non-robustly testable while the presence of the fault can degrade the circuit performance. Identiication and testing of primitive faults is important for at least two reasons: (1) a large percentage of paths in production circuits remain untestable under the single-path delay fault model, (2) distributed manufacturing defects usually adversely aaect more than one path and these defects can be detected only by analyzing multiple aaected paths. The single-path delay faults contained in a primitive fault have to merge at some gate(s). Our methodology for identifying primitive faults can quickly (1) rule out a large number of gates as possible merging points for primitive faults, and (2) prune the combination of paths that can never belong to any primitive fault. Our identiication procedure also nds a test for the fault. We present a complete algorithm for identifying and testing double path delay faults. This procedure can be extended to identify primitive faults consisting of three or more paths. Experimental results on several multi-level combina-tional benchmark circuits are included to demonstrate the usefulness of our technique.
منابع مشابه
Primitive delay faults: identification, testing, and design for testability
We investigate two strategies to guarantee temporal correctness of a combinational circuit. We first propose a new technique to identify and test primitive faults. A primitive fault is a path delay fault that has to be tested to guarantee the performance of the circuit. Primitive faults can consist of single(SPDF’s) or multiple-path delay faults (MPDF’s). Testing strategies for single primitive...
متن کاملAutomatic generation and compaction of March tests for memory arrays
Given a set of memory array faults the problem of computing a compact March test that detects all specified memory array faults is addressed. In this paper, we propose a novel approach in which every memory array fault is modeled by a set of primitive memory faults. A primitive March test is defined for each primitive memory fault. We show that March tests that detect the specified memory array...
متن کاملDesign for Primitive Delay Fault Testability
To guarantee the temporal correctness of a digital circuit a set of multiple path delay faults called primitive faults need to be tested. Primitive faults can contain one or more faulty paths. Existing techniques can identify and test primitive faults containing up to two or three paths. Identifying and testing primitive faults that consist of a larger number of paths is impractical for large d...
متن کاملApplication of Tools Developed at the University of Iowa to ITC Benchmarks
We describe the application of the following tools to ITC-99 benchmark circuits. Deterministic test generation: The test generation procedure MIX [1], and its extension MIX + [2], combines several test generation approaches to derive test sequences exhibiting very high fault coverages at relatively low CPU times. It includes a simulation-based test generation procedure based on LOCSTEP [3], a d...
متن کاملPrimitive Delay Faults: Identi cation, Testing and Design for Testability
We investigate two strategies to guarantee temporal correctness of a combinational circuit. We rst propose a new technique to identify and test primitive faults. A primitive fault is a path delay fault that has to be tested to guarantee the performance of the circuit. Primitive faults can consist of single or multiple path delay faults. Testing strategies for single primitive faults exist. In t...
متن کامل